Game-based Synthesis of Distributed Controllers for Sampled Switched Systems

Switched systems are a convenient formalism for modeling physical processes interacting with a digital controller. Unfortunately, the formalism does not capture the distributed nature encountered e.g. in cyber-physical systems, which are organized as networks of elements interacting with local controllers. Most current methods for control synthesis can only produce a centralized controller, which is assumed to have complete knowledge of all the component states and can interact with all of them. In this paper, we consider a centralized-controller synthesis technique based on state-space decomposition [12], and use a game-based approach to extend it to a distributed framework. 1998 ACM Subject Classification B.1.2 Automatic Synthesis